Buy Used and New Matthias Baaz Books

Methods of Cut-Elimination (Trends in Logic)

by Matthias Baaz,Alexander Leitsch

ISBN 13: 9789400703193

Format: Hardcover (293 pages)
Publisher: Springer
Published: 17 Jan 2011

Save for later

Kurt Gödel and the Foundations of Mathematics: Horizons of Truth

by

ISBN 13: 9780521761444

Format: Hardcover (544 pages)
Publisher: Cambridge University Press
Published: 06 Jun 2011

Save for later

Kurt Godel and the Foundations of Mathematics: Horizons Of Truth

by Matthias Baaz

ISBN 13: 9781107677999

Format: Illustrated (540 pages)
Publisher: Cambridge University Press
Published: 27 Mar 2014

Save for later

Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G¿¿del Colloquium, KGC 2003, Vienna, ... 2803 (Lecture Notes in Computer Science)

by Johann M. Makowsky,Matthias Baaz

ISBN 13: 9783540408017

Format: Paperback (608 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Methods of Cut-Elimination: 34 (Trends in Logic)

by Matthias Baaz,Alexander Leitsch

ISBN 13: 9789400734975

Format: Paperback (296 pages)
Publisher: Springer
Published: 25 Feb 2013

Save for later